<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="../style.css">
    </head>
    <body>
        <div class="text">
        <h2>Overview</h2>
        ADAlyzer is a useful tool to verify program code. The software can help the user 
        to build correct software.
It must be mentioned, that this software can not do all for the user, the rules of Hoare, 
which are the base of this program, should be well known by the user as well. <br /><br />
ADAlyzer works with a reduced Ada programming language, which will be called Mini-Ada. 
Only inputs based on this language can be verfified. To get started with this program read 
this documentation carefully and take attention of the included examples: a linear squareroot 
program (IntSqrt), which should be known from the course and the usage of a FindMaxIndex-procedure on an
array containing integers. This should give you all the information you need to understand, 
how the program works and where to find useful results.
        </div>
    </body>
</html>
